Data Flow Coverage for Testing Erlang Programs
نویسنده
چکیده
Flow graph oriented testing is heavily used in industry, but has not yet been adapted to functional programming. Carrying over this approach from imperative programs to other programming paradigms consists of adapting the notion of flow graphs, and the identification of useful coverage criteria. The identification of coverage criteria is the topic of this paper. We define a number of data flow oriented coverage criteria, show that they carry more information than the node coverage criterion, which is the simplest criterion known for imperative programming, and compare the different data flow oriented coverage criteria with each other.
منابع مشابه
Concurrent Erlang Flow Graphs
Flow graphs are an important, and useful tool for testing programs or program components during software development. For imperative languages it is state of the art to use flow graph based coverage tools during the unit testing stage. Based on flow graphs for functional programming languages, that have to cope with higher order functions, a flow graph concept for Erlang needs a special treatme...
متن کاملOptimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملApplying Testability Transformations to Achieve Structural Coverage of Erlang Programs
This paper studies the structural testing of Erlang applications. A program transformation is proposed that represents the program under test as a binary tree. The challenge of achieving structural coverage can thus be interpreted as a tree-search procedure. We have developed a testing-technique that takes advantage of this tree-structure, which we demonstrate with respect to a small case study...
متن کاملTowards Flow Graph Directed Testing of Functional Programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to software testing get a more and more increasing impact on software development processes. In the context of imperative programming there are several different approaches to measure the appropriateness of a set of test cases f...
متن کاملDataflow Testing of Java Programs with DFC
The objective of this paper is to present a tool supporting dataflow coverage testing of Java programs. Code based (”white box”) approach to testing can be divided into two main types: control flow coverage and data flow coverage methods. Dataflow testing was introduced for structural programming languages and later adopted for object languages. Among many tools supporting code based testing of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005